util-vdso.c